More Actions on Topic
AProximaEditorForShuffle:ManipulatingFragmentedTextVisually
Edit topic preference settings
Edit settings
for this topic
Rename or move topic
Rename/move topic...
, looking for references in
all public webs
(recommended)
Rename/move topic...
, looking for references in
Stc web
only
Delete topic
Delete topic...
, looking for references in
all public webs
(recommended)
Delete topic...
, looking for references in
Stc web
only
Set new topic parent
Current parent:
ComputingScienceColloquium
Step 1: Select topic parent:
none (remove topic parent)
2001
2002
2003
2004
2005
2006
2007
2008
3APLALanguageForDescribingAgentBasedSystems
ADomain-specificLanguageForGeneratingRichInternetApplications
AFormalismOfComponentFramework
AFrameworkToDistilSQLQueriesOutOfHostLanguagesInOrderToApplyQualityMetrics
AGenericDerivingMechanismForHaskell
AGenericUsageAnalysisWithSubeffectQualifiers
ALibraryForLight-WeightInformation-FlowSecurityInHaskell
ALightweightApproachToDatatype-GenericRewriting
AProxima-basedHaskellIDE
AProximaEditorForShuffle:ManipulatingFragmentedTextVisually
ASOA-enabledEnterpriseContentManagementSystem
ASurveyOfLegacyMigration
ASystemAndLanguageForBuildingSystem-Specific,StaticAnalyses
AbstractInterpretationOfFunctionalProgramsUsingAnAttributeGrammarSystem
AbstractSyntaxTreesAndI
AbstractTemplate
AjaxRichInternetApplications
AlgorithmicProblemSolving
AlgorithmicTypeInferencerSpecificationsForDeclarativeTypeSystems
AnExecutableOperationalSemanticsForPython
AnIntroductionToProgramTransformation
AnOptimalImplementationOfTheLambda-calculus
AnOptimizerForAutoBayes
AnOptimizerInStrategoForTheHeliumCoreLanguage
AnalysisOfHeliumProgramsObtainedThroughLogging
AnsweringReachabilityQueriesOnVeryLargeDirectedGraphs
ApplicationDomainsForSoftwareTransformationsInPhilipsSemiconductors
ApplyingAlgebraicSpecificationsAndTestingToJava
AspectOrientedProgrammingAndDesignPatterns
AspectOrientedProgrammingWithAspectJInJava
AttributeEvaluationOnASharedMemoryMultiprocessor
AttributeGrammarsFlyFirst-Class:HowToDoAspectOrientedProgrammingInHaskell
AttributeRedefinitionsForSyntaxMacros
AutomatedAnalysisofUnitTeststoImproveUnderstandingofSoftwareSystems
AutomatedDiscoveryOfAlgebraicSpecificationsFromJavaClasses
AutomatedModel-basedAnalysisOfWeb-basedUserInterface(UI)
AutomaticInstructionSetGeneration
AutomaticOptimizationOfGPGPUPrograms
AutomaticProgramAnalysisForDataParallelKernels
AvoidingTheLazinessTax
Best-OnlyParsingForNaturalLanguages
BetterStrategiesForParallelHaskell
BeyondFunctionalProgrammingInHaskell:AnIntroductionToOCaml
BeyondKleene:AnAlgebraFor(quantitative)RegularBehaviours
BinaryRelationalQueryingForStructuralSourceCodeAnalysis
Binding-TimeAnalysis:SubtypingVersusSubeffecting
BindingTimeAnalysisForProgramSpecializationInTheESPrantoSynchronousParallelLanguage
BrewingYourOwnVerificationEngine
BuildAndReleaseManagementWithANix-basedBuildSystem
Buildfarms
BuildingFlashBasedGUISInHaskell
BuildingGUIsInHaskell
BuildingProductPopulationsWithKoala2
BuildingVerificationConditionGeneratorsByCompositionalExtensions
CLP,ALoadPerformanceFrameworkForTheConclusionTestPlatform
CVSNoLonger
Call-graphAnalysisOfPolymorphicConstructsInC#Sources
Call-patternSpecializationInHaskell
ChainsOfRecurrencesWithApplications
CheckingCorrectUsageOfAPIsByMeansOfStaticAnalysis
CheckingNon-functionalPropertiesInTheKoalaDomain
ClassificationOfDevelopmentActivitiesUsingSourceCodeMetrics
ClickingOnDelimitedContinuations
CodingStandards
CollaborativeWebDevelopmentWithWikiWiki
CombiningForwardAndBackwardParsers
CommentsAndQuestions
ComparingDistributedVersionControlSystems
ComparingLibrariesForGenericProgrammingInHaskell
ComparingMasonToOtherPlagiarismDetectors
ComparingProgramPlagiarismDetectionTools
ComparingTheCombinationOfInclusion-AndParametricPolymorphismInProgrammingLanguages
CompilerOptimizationForDatabasesProgrammingLanguage
CompilingHaskellToLLVM
ComponentCompositionWithScala
ComposingAndRefining
ComputationalSemanticsWithFunctionalProgramming
ComputingScienceColloquium
ConciseTreeWalksUsingAttributeGrammars:InHaskellAndJava
ConcreteSyntaxForObjects
ConcreteSyntaxForObjectsSpecialEdition
ConnectingXMLProcessingAndTermRewritingWithTreeGrammars
ConstraintBasedTypeInferenceInHelium
ConstraintsForTypeClassExtensions
ConstructingAndComposingEfficientTop-downParsersAtRuntime
CoordinationAndReconfigurationInReo
CourseAssignments
CourseDescription
CourseLiterature
CourseSchedule
CreatingWebapplicationsUsingHaskell
Curry,ATrulyIntegratedFunctionalLogicLanguage
DSTM2:AFlexibleAndExtensibleTransactionalMemoryFramework
DataParallelHaskell
DatatypeGenericProgrammingInJava
DebuggingHaskellProgramsByAskingTheOracle
DeclarativeGraphRewriting
DeclarativeProgrammingOfInteractiveSystemsWithGrapefruit
DecouplingSourceTreesIntoBuild-LevelComponents
DelegationInJava
DeliverAndTheCaseStudyAtExactSoftware
DependencyAnalysisInAttributeGrammars
DependentlyTypedGrammarTransformations
DesignAndImplementationOfEmbeddedDomain-SpecificLanguages
DesignOfAFunctionalityLanguage
DesigningAndImplementingAnOCLCompiler
DevelopingInteractingDomainSpecificLanguages
DevelopingOfAWebCubePrototype
DevelopingXMLApplicationsWithApacheCocoon
DiscretizationOfContinuous-valuedFeatureVariablesInNaiveBayesianNetworks
DistantPast
DitaZonderPijn
DynamicArchiveManagement:AFrameworkForDynamicDatabaseSchemas
DynamicAspectsOfPython
DynamicTypingInCs4
DynamicUpdatingForTheJVM
EMMA:AFreeCodeCoverageTool
EducationPage
EfficientUpgrading
EmbeddingPostfixLanguagesInHaskell
EmpiricalResearchWithinSoftwareEngineering
Equality-BasedUniquenessTyping
EvaluatingRepositoriesStandardsTechniquesAndPerformanceSimulation
EvaluatingThePerformanceOfWebApplications
EvolutionOfAHaskellProgrammer
ExceptionalGRIN
ExceptionalModelMining
ExplicitImplicitParameters
ExploitingAlgebra-CoalgebraDualityForProgramFusionExtensions
ExploitingHardwareErrors
ExtendingASimpleFunctionalProgrammingLanguageWithDependentTypes
ExtendingT2WithPrimePathCoverageExploration
ExtendingTheUHCLLVMBackend:AddingSupportForAccurateGarbageCollection
ExtendingXSLT
ExtensibleRecordsWithScopedLabels
FSharp-AFunctionalProgrammingLanguageWithinTheDotNETFramework
FeedbackInAnInteractiveEquationSolver
FeedbackOrientedSecurityAnalysis
FinalPresentationsOfAdvancedCompilerConstructionSeminar
First-classPolymorphismWithExistentialTypes
FirstClassTreeTraversalIdiomsWithNestedAttributeGrammars
FromNaturalSemanticsToStratego
FunWithAttributeGrammars
FunctionalDesignPatterns
FunctionalDesignPatterns:StructuredReuseOfFunctionality
FunctionalMetapostToolDemo
FunctionalProgrammingInC++
FunctionalReactiveProgramming
FunctionalSelf-AdjustingProgramming
FunctioneleDesignPatternsEnUserInterfacePatterns
FunctioneleDesignPatternsVervolg
GADTsInEHC
GPUPerformancePredictionUsingParametrizedModels
GarbageCollection
GeneralizedType-BasedDisambiguationOfMetaProgramsWithConcreteObjectSyntax
GeneratingGenericFunctions
GeneratingSyntaxDiagramsFromEBNFWithAG
GenerativeProgrammingByMixingJavaAndBytecode
GenericGraphicalUserInterfaces
GenericInconsistencyManagement
GenericProgrammingWithFixedPointsForParametrizedDatatypes
GenericSelectionsOfSubexpressions
GenericType-safeDiffAndPatchForFamiliesOfDatatypes
GenericValidationOfXPathDataBindings
GenericViewsForGenericTypes
GenericViewsOnDataTypes
GenericsInJava
GenuinelyFunctionalUserInterfaces
GerardMichelsAbstract
Grading
GraphAlgorithmicTechniquesForPlagiarismDetection
HavingFunWithRPM
HermansRingAProgram-logicAnalysis
HeuristicsForTypeErrorDiscoveryAndRecoveryInHelium
Holmes:HuntingForHaskellFrauds
HomogeneousMultiprocessingForTheMasses
Hoopl:DataflowOptimizationsMadeEasy
Hume:AFunctionally-basedDomainSpecificLanguageTargetingReal-timeEmbeddedSystems
ICP:InteractiveCParallelization
IDEAS:ImprovingTheFunctionalProgrammingDomain
ImplementingADependentlyTypedLambdaCalculus
ImplementingTraitsInJava
ImposingAMemoryManagementDisciplineOnSoftwareDeployment
ImpredicativeHigher-RankTypes
ImprovingAndCustomizingData-flowTransformationsForObject-OrientedPrograms
ImprovingAutomatedFeedback-BuildingAGenericRule-FeedbackGenerator
ImprovingTypeErrorDiagnosticsForGenericJava
ImprovingTypeErrorMessagesForGenericJava
IncommunicadoEfficientCommunicationForIsolates
InstanceChains:TypeClassProgrammingWithoutOverlappingInstances
IntelligentProgrammingTutors
InteractiveLoopParallelizationForCPrograms
IntermediateSequenceRemoval
InteroperabilityInPolylingualSoftwareSystems
IntroductionAndComparationOfMobileAgentSystems
IntroductionToJava2MicroEdition
IntroductionToProgramAnalysis
IntroductionToScala:AMulti-paradigmProgrammingLanguage
Iteratee:TeachingAnOldFoldNewTricks
IterateeIO--Safe,Practical,Declarative,IncrementalInputProcessing
JML:ANotationForSpecifyingTheDetailedDesignOfJavaClassesAndInterfaces
JastAdd
JavaPathfinder
JavaScript:PrototypeBasedInheritanceAndAnonymousFunctions
JavascriptHaskellscript!!
Kernelisation:AnalysisOfPreprocessing
KeywordProgramming
LaTeXPackage
LanguageFeaturesForProgramMonitoring
LanguageIntegratedQuery(LINQ)ForTheDotNETFramework
LearningWithMonotonicityConstraints
Lhs2Tex
LightweightStaticGuarantees
LiteratureList
MakingStricternessMoreRelevant
ManagingConsistencyBetweenDependentObjects
ManagingStateInAPurelyFunctionalDeploymentModel
MapReduce
MastersAttendance
MiningHeliumProgramsWithNeon
MiningMetricsToPredictComponentFailures
MobileAgents
Mocha
Model-BasedTestingWithSpecExplorer
ModularPredicateTransformerSemantics
ModularSemantics
MultipleInheritance
Neon,AnalyzingErrorsInHelium
Nix:AFunctionalPackageManager
NixASafeAndPolicy-FreeSystemForSoftwareDeployment
NixOS:TheNixBasedOperatingSystem
NixOSAStatusReport
NoCode,JustGlory
Non-CanonicalLALR(k)Parsing
NopAnWebASystemForAutomaticSupportToWebApplicationVerification
Object-RelationalMappingWithHibernate
ObjectPersistenceInJ2EE
ObjectsToUnifyTypeClassesAndGADTs
OnTheRoleOfMinimalTypingDerivationsInType-drivenProgramTransformation
OnlineLinearPrettyPrinting
OptimizingAttributeGrammars
OptimizingClosuresInLazyFunctionalLanguages
OptimizingDazzle
OverviewOfTheProximaGenericXMLEditor
PHP-Sat-AnalyzingPHP
ParallelExtensions
PersistentDataStructuresInHaskell
PlanningOfMedicationAdministrations
Plug-and-playAttributeGrammars
PolishParsersStepByStep
PolyvariantEscapeAnalysis
Position-BasedQuantumCryptography:ImpossibilityAndConstructions
PowerOfPi
PracticalAndGenericIncrementalization
PreservingOrderInNon-orderPreservingParsers
ProbabilityEstimationAndCompetenceModelsForRuleAndStrategy-basedE-TutoringSystems
ProgramPlagiarismDetectionWithMarble
ProgramVerification
ProgramVerificationWithObjectInvariantsOnTheExampleOfSpec
ProgrammingInD
ProgrammingTheWebWithGenericEditorComponents
ProgrammingWithRectanglesTrianglesAndCircles
ProtocolAndInterfaceTestingWithTheConclusionTestPlatform
ProvingProgramPropertiesAutomaticallyWithAgdaLight
Proxima2WYSIWYGGenericEditingForTheWeb
ProximaInPractice
PugsBootstrappingPerl6WithHaskell
PurelyFunctionalSystemConfigurationManagement
QualifiedTypesAndMFL
QualityOfServiceForRemoteUI
QuickCheckingYourJavaClassesWithT2
RainbowtablesAndPasswordProtection
Record-basedLogging
RecordOrientedProgramming
Reflex:AVersatileKernelForMulti-languageAOP
RelationsAsAFirst-ClassCitizenInJava
RequirementsForAHuman-CentricTrustManagementSystemInAnOpenDe-PerimeterisedNetworkEnvironment
ResearchAndEducationInProductSoftware
RevenueManagementInKLM:WhyAndHowWeDifferentiateInTicketPricesAndOverbooking
RewritingHaskellStrings
RoadMap
RulerProgrammingTypeRules
SchedulingClassroomsForTheBetaFaculty
Schema-BasedSynthesisOfDataAnalysisPrograms
ScreenweaverOpenSource
SecureSharingBetweenUntrustedUsersInATransparentSourceBinaryDeploymentModel
SensitivityInGraphicalModels:BayesianNetworkSensitivityFunctionsForArcRemovalAndHiddenMarkovModels
SessionTypesInHaskell
Seuss-wayOfMulti-programming
ShiftingTheStage
Silk:MakingTheSemanticWebFunctional
SimilarCourses
SimplifyingEJBDevelopmentWithEJB3_0
SiteMap
SlicingIt:IndexedContainersInHaskell
SmartRegressionTestingWithT2
SoftTypingAndAnalysesForPHPPrograms
SoftwareTechnologyColloquiumExcerpt
SoftwareTransactionalMemory
SourceModelAnalysisAnEvaluationOfTheJJTravelerVisitorCombinatorFramework
SpatialLogicATutorialIntroduction
Spicey,TranslatingEntityRelationshipModelsIntoFunctionalPrototypicApplications
SpreadingTheJoy
StaticContractCheckingForHaskell
StaticTesting:UsingTheWeakestPre-condition
StrategiesForDirectedGenerationOfTestSequences
StrictifyingAttributeEvaluation
StrictnessOptimizationInATypedIntermediateLanguage
Subversion
SuccesvolInformatiserenVanMaatschappelijkeKetens
SummaryOfPointerAnalysisTechniques
Swift:AScriptingSystemForHighPerformanceComputing
THEMIS:FrameworkForAutomatedTestingOfGraphicalUserInterfaces
TappingThePowerOfOpenCLForHaskellArithmetic
TeachingInBolivia
TerminatingCombinatorParsersInAgda
TerminationCheckingInThePresenceOfMixedInductionAndCoinduction
TheBurrows-WheelerTransform
TheCurrentAndFutureOptimizationsPerformedByTheJavaHotSpotCompiler
TheDefaultCaseInHaskell:CounterpartyCreditRiskCalculationAtABNAMRO
TheEQuillEditor
TheEdutainmentSensorPlatform
TheEvolutionOfTheJavaMemoryModel
TheGenericParadigm
TheHaskellApplicationServer
TheICFPContest2007
TheICFPProgrammingContest
ThePestoFramework
ThePizzaCompiler:ExtendingJavaInAFunctionalWay
TheQuinitySolutionDeliveryEnvironment
TheRosettaMachineTranslationSystem
TheSTCCoordinator
TheSoftwareProductManagementWorkbench:AToolSupportingTheDailyActivitiesOfTheProductManager
TheSpringFramework
TheStateOfArtOfSoftwareComponentsAtPhilips:ResearchAndPractice
TheStructureOfTheEssentialHaskellCompiler,OrCopingWithCompilerComplexity
TheSystemAnalysisToolkit
TheZipper
Trace-basedLogicTesting
TransformationToolComposition
TreatingDesignPatternsMoreFormally
TrendsInSoftwareEvolution
TypeClassDirectives
TypeInferenceForGenericHaskell
TypeIsomorphismsSimplifyXMLProgramming
TypeSafeSelfInspectingCode
TypeSystemsUsingNextGenerationAttributeGrammars
TypedContractsForFunctionalProgramming
TypedQuoteAntiquote
TypedTransformationsOfTypedAbstractSyntax
UNITYCBS
UnifyingTablesObjectsAndDocument
UniquenessTyping
UniversesForGenericPrograms
UsefulLinks
UsingPythonGeneratorsInMultiplexingServers
Valgrind
VectorLLVA
WebChanges
WebCube:2ndPrototypeAndTheTheoryBehind
WebCustomMenus
WebFunctions
WebHome
WebIndex
WebLeftBar
WebNews
WebNotify
WebPortalsAndServersideIntegration
WebPreferences
WebSearch
WebStatistics
WebTools
WebTopicList
WebservicesVoorB2B
WhenInDoubt,BeIndecisive
WirelessSensorNetworkFlowColumnGeneration
WisselJeWachtwoordWisselaar:WouldYOUTrustYourGovernmentToGenerateYourPasswords
WorkflowDescriptionLanguageComparison
XComprezOverviewAndPlans
XDocAnExtendibleDocumentationGenerator
XMECHTowardsScalableSoftwareVerification
Xbayes
Step 2: Continue to
and save AProximaEditorForShuffle:ManipulatingFragmentedTextVisually to activate the new parent
Child topics in Stc web
No child topics
View previous topic revision
(1 ... 3)
Revision:
in raw text format
Compare revisions
Older revision:
Newer revision:
Sequential
Side by side
Debug
Backlinks
Find topics that link to AProximaEditorForShuffle:ManipulatingFragmentedTextVisually ...
,
in all public webs
Find topics that link to AProximaEditorForShuffle:ManipulatingFragmentedTextVisually ...
,
in Stc web
only
C
ancel
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback